تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۷۷ ثانیه یافت شد.

1. Proceedings

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs

رده :

QA

75

.

5

.

S9574a

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها

1. Proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs